nLab empty diagram

Definition

The empty diagram in some category is the diagram indexed by the empty category.

Properties

The limit over the empty diagram is, if it exists, the terminal object.

The colimit over the empty diagram is, if it exists, the initial object.

Related concepts

• empty set, empty subset

• empty type, empty context

• empty family, empty function, empty bundle

• empty topological space, empty simplicial set

• empty graph, empty category, empty diagram

• nothing